Concurrency Control of Real-Time Web Service Transactions

Transactional property is crucial to the success of web service composite applications. In the dynamic and open web service environment, maintaining consistency is a new challenge. In this study, we propose a flexible web service transaction model FleWeSeT, which supports replaceability and compensation. We expand the WS-Frame framework and add various components to support the transaction-dependence detection for transactions in FleWeSeT. Furthermore, we propose the optimistic verified concurrency control protocol ACoDe based on the transaction-dependence detection. Finally, we establish a randomly colored Petri net model and perform analysis and evaluation of the ACoDe protocol. This study’s experimental results indicate that the protocol can help more transactions meet their deadlines and significantly improve the average response time of transactions and the success rate of the web service.